首页> 外文OA文献 >Sampling-based resolution-complete algorithms for safety falsification of linear systems

【2h】

Sampling-based resolution-complete algorithms for safety falsification of linear systems

机译：线性系统安全伪造的基于采样的分辨率完成算法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Amit Bhatia; Emilio Frazzoli;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Sampling-based Falsification And Verification Of Controllers For Continuous Dynamic Systems [J] . Peng Cheng, Vijay Kumar The International journal of robotics research . 2008,第11a12期

机译：基于采样的连续动态系统控制器的伪造与验证
2. Study on sampling-based discrete noniterative algorithms for centroid type-reduction of interval type-2 fuzzy logic systems [J] . Soft computing: A fusion of foundations, methodologies and applications . 2020,第15期

机译：基于采样的离散非特性算法研究，用于细分型间隔型模糊逻辑系统的质心型减少
3. Distributed Gibbs: A Linear-Space Sampling-Based DCOP Algorithm [J] . Duc Thien Nguyen, William Yeoh, Hoong Chuin Lau, The Journal of Artificial Intelligence Research . 2019,第8期

机译：分布式吉布斯：基于线性空间采样的DCOP算法
4. Sampling-Based Resolution-Complete Algorithms for Safety Falsification of LinearSystems [C] . Amit Bhatia, Emilio Frazzoli Hybrid Systems: Computation and Control . 2008

机译：线性系统安全伪造的基于采样的分辨率完成算法
5. Sampling-based algorithms for analysis and design of hybrid and embedded systems. [D] . Bhatia, Amit. 2008

机译：用于混合和嵌入式系统分析和设计的基于采样的算法。
6. Linear Time Algorithms to Restrict Insider Access using Multi-Policy Access Control Systems [O] . Peter Mell, James Shook, Richard Harang, -1

机译：使用多策略访问控制系统限制内部人访问的线性时间算法
7. Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems [O] . Bhatia, Amit, Frazzoli, Emilio 2008

机译：基于抽样的分辨率完整算法用于安全伪造线性系统

Sampling-based resolution-complete algorithms for safety falsification of linear systems

著录项

引文网络

相似文献

相关主题

期刊订阅